﻿using System;
using System.Collections.Generic;
using System.Diagnostics.Contracts;
using System.Linq;
using System.Text;
using AutomaTones.View.GUI_View;
using Midi;

namespace AutomaTones.Controller {
    class HWController : IController {
        public bool IsPLaying
        {
            get { throw new NotImplementedException(); }
            set { throw new NotImplementedException(); }
        }

        public void AddCAView(IView view)
        {
            throw new NotImplementedException();
        }

        public void SetUp()
        {
            throw new NotImplementedException();
        }

        public List<Channel> Channels
        {
            get { throw new NotImplementedException(); }
            set { throw new NotImplementedException(); }
        }

        public int Volume
        {
            get { throw new NotImplementedException(); }
            set { throw new NotImplementedException(); }
        }

        public void Pause()
        {
            throw new NotImplementedException();
        }

        public void PlaySentFromUser()
        {
            throw new NotImplementedException();
        }

        [ContractInvariantMethod]
        private void Invariant() {
            Contract.Invariant(0 <= this.Volume && this.Volume <= 100);
        }
    }
}
